|
|
1.
|
Come, let's play : scenario-based programming using LSCs and the play-engine
by Marelly, Rami | Harel, David. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 HAR] (2).
|
|
|
2.
|
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings
by Stevens, Perdita | Booch, Grady | Whittle, Jon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
|
|
|
3.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
|
4.
|
Foundations of empirical software engineering : the legacy of Victor R. Basili
by Boehm, Barry | Rombach, Hans Dieter | Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 BOE] (1).
|
|
|
5.
|
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
|
|
|
6.
|
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings
by Guerraoui, Rachid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
|
7.
|
Invasive software composition
by Abmann, Uwe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 ABM] (1).
|
|
|
8.
|
Principles of program analysis
by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
|
9.
|
Usability engineering
by Nielsen, Jakob. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Morgan Kaufmann, 1993Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
|
10.
|
Software language engineering : creating domain-specific languages using metamodels
by Kleppe, Anneke G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2009Availability: Items available for loan: [Call number: 005.1 KLE] (1).
|
|
|
11.
|
Software Product Lines in Action : the best industrial practice in product line engineering
by Linden, Frank van der | Rommes, Eelco | Schmid, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.1 LIN] (1).
|
|
|
12.
|
Agent modeling language - AML
by Cervenka, Radovan | Trecansky, Ivan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2007Availability: Items available for loan: [Call number: 006.3 CER] (1).
|
|
|
13.
|
UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings
by Kent, Stuart | Evans, Andy | Selic, Bran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
|
|
|
14.
|
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures
by Bernardo, Marco | Inverardi, Paola. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
